1. .....................
المؤلف: ]edited by Jerome Fox[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
2. <A> Half-Century of Automata Theory
المؤلف: \ editors, A. Salomaa, D. Wood, S. Yu.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra,جبر, -- Congresses, -- کنگره‌ها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
3. A half-century of automata theory
المؤلف: / editors, A. Salomaa, D. Wood, S. Yu
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
H333
,
2001
4. A text book of Theory of Machines
المؤلف: R.K Bansal
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
5. Abstract State Machines, Alloy, B, TLA, VDM, and Z
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine learning -- Congresses,Machine theory -- Congresses,Machine learning,فراگیری ماشینی -- کنگره‌ها,نظریه ماشین -- کنگره‌ها,فراگیری ماشینی
رده :
E-Book
,
6. Abstract state machines 2003 :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ;
7. Abstract state machines 2003
المؤلف: / Egon B?�rger, Angelo Gargantini, Elvinia Riccobene (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
A86
,
2003
8. Abstract state machines
المؤلف: / Yuri Gurevich ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
A25
,
2000
9. Abstract state machines :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ;
10. Abstract state machines, B and
المؤلف: / Egon Beorger ... [et al.] (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
11. Abstract state machines, B and Z
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
12. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
المؤلف: Wolf Zimmermann, Bernhard Thalheim )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
13. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
المؤلف: Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
14. Abstract state machines, alloy, B and Z
المؤلف: / Marc Frappier ... [et al.] (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
15. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
المؤلف: Marc Frappier ... ]et al.[ )Eds.(
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
16. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
المؤلف: Yuri Gurevich...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
17. Advances in Petri Nets 1985
المؤلف: edited by G. Rozenberg
المکتبة: (طهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
222
18. Advances in Petri Nets 1987
المؤلف: Grzegorz Rozenberg )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
266
19. Advances in Petri Nets 1989
المؤلف: Grzegorz Rozenberg )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
424
